Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
๐ญProgram Synthesis
Flag this post
Moving V8 to only flat strings
๐FlatBuffers
Flag this post
Attention really is all you need โ The Encoder
pub.towardsai.netยท1h
๐คTransformers
Flag this post
Smoothsort Demystified
โกQuicksort
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
ฮปFunctional Programming
Flag this post
Generative AI and the P=NP problem
lesswrong.comยท14h
๐งฎSMT Solvers
Flag this post
Adaptive Data Analysis for Growing Data
arxiv.orgยท3d
๐Time-Series Databases
Flag this post
Solving Project Euler #45
๐Dynamic Programming
Flag this post
๐ฌ MySQL โ The Complete Guide for Developers (2025 Edition)
๐๏ธDatabase Internals
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
๐ฆFolly
Flag this post
Long ago my first JavaScript project was a Pythagorean tree โ I overreached
โกQuicksort
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.comยท2d
๐Type Theory
Flag this post
Databricks: 'PDF parsing for agentic AI is still unsolved' โ new tool replaces multi-service pipelines with single function
venturebeat.comยท1d
๐Naiad
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
๐Vector Clocks
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.orgยท2d
๐ฑNom
Flag this post
ML Systems Textbook by Havard
๐MLOps
Flag this post
Loading...Loading more...